/* @LICENSE(NICTA_CORE) */

/*
 Author: Philip Derrin
 Created: Wed Jan 25 2006
 */
#include <stdio.h>
#include <sel4/sel4.h>
#include <stdlib.h>

void abort(void) {
    printf("seL4 root server aborted");
    seL4_DebugHalt();
    while (1)
        ; /* We don't return after this */
}
